On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic
نویسندگان
چکیده
This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly considered.
منابع مشابه
On MPT-implication functions for Fuzzy Logic
This paper deals with numerical functions able to functionally express operators defined as , and verifying either Modus Ponens or Modus Tollens, or both. The concrete goal of the paper is to search for continuous t-norms and strong-negation functions for which it is either (Modus Ponens), or (Modus Tollens), or both, for all in and a given . Functions are taken among those in the most usual fa...
متن کاملLogic and Fuzzy Relations
It is introduced an approach to the problem of "building logics" over sets of facts with only structured by a fuzzy relation of "consequence". Notions of "Truth" and "Falsehood" are introduced by means of two generalizations for classical Modus Ponens and Modus Tollens. Studying this concepts a theoretical base to explain the mode of reasoning in expert systems is obtained. By studying fuzzy tr...
متن کاملToward Monotonicity Analysis between Two Vague Concepts Based on Fuzzy Rough Sets
A fuzzy rough set approach has been proposed without using any fuzzy logical connectives. By this approach, gradual decision rules are induced from a given decision table. Fuzzy-rough modus ponens and fuzzy-rough modus tollens have been formulated based on the gradual decision rules. The equivalence condition between fuzzy-rough modus ponens and fuzzy-rough modus tollens is discussed. The condi...
متن کاملPresumption and prejudice in logical inference
Two nonstandard modes o f mference, conftrmatton and dental, have been shown by Bandler and Kohout to be vahd m fuzzy propositional and predicate logics. I f demal ts used m combmatton with modus ponens, the resultmg mference mode ("augmented modus ponens") ytelds more prectse bounds on the consequent of an implication than are usually called for m approximate reasoning. Slmdar results hold for...
متن کاملA fuzzy reasoning method based on compensating operation and its application to fuzzy systems
In this paper, we present a new fuzzy reasoning method based on the compensating fuzzy reasoning (CFR). Its basicidea is to obtain a new fuzzy reasoning result by moving and deforming the consequent fuzzy set on the basis of themoving, deformation, and moving-deformation operations between the antecedent fuzzy set and observation information.Experimental results on real-world data sets show tha...
متن کامل